Modeling VP operation: The Diwali Festival ProblemJOSHI, Rushikesh K; RAJAA, Subash.Operating systems review. 2005, Vol 39, Num 2, pp 51-53, issn 0163-5980, 3 p.Article

Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 ProcessorsWEINING GU; KALBARCZYK, Zbigniew; IYER, Ravishankar K et al.International Conference on Dependable Systems and Networks. 2004, pp 887-896, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

Shortening the Boot Time of Android OSXIA YANG; NAN SANG; ALVES-FOSS, Jim et al.Computer (Long Beach, CA). 2014, Vol 47, Num 7, pp 53-58, issn 0018-9162, 6 p.Article

Fractal Weyl law for Linux Kernel architectureERMANN, L; CHEPELIANSKII, A. D; SHEPELYANSKY, D. L et al.The European physical journal. B, Condensed matter physics (Print). 2011, Vol 79, Num 1, pp 115-120, issn 1434-6028, 6 p.Article

Implementation and evaluation of the Shim6 protocol in the Linux kernelBARRE, S; RONAN, J; BONAVENTURE, O et al.Computer communications. 2011, Vol 34, Num 14, pp 1685-1695, issn 0140-3664, 11 p.Article

SIP Message Classification ― Design and Performance : System Work at IBM ResearchACHARYA, Arup; XIPING WANG; WRIGHT, Charles et al.Operating systems review. 2008, Vol 42, Num 1, pp 100-101, issn 0163-5980, 2 p.Article

Static deadlock detection in the Linux KernelBREUER, Peter T; GARCIA VALLS, M.Lecture notes in computer science. 2004, pp 52-64, issn 0302-9743, isbn 3-540-22011-9, 13 p.Conference Paper

seL4: Formal Verification of an Operating-System KernelKLEIN, Gerwin; ANDRONICK, June; SEWELL, Thomas et al.Communications of the ACM. 2010, Vol 53, Num 6, pp 107-115, issn 0001-0782, 9 p.Article

Impact of release intervals on empirical research into software evolution, with application to the maintainability of LinuxTHOMAS, L. G; SCHACH, S. R; HELLER, G. Z et al.IET software (Print). 2009, Vol 3, Num 1, pp 58-66, issn 1751-8806, 9 p.Article

Protection in flexible operating system architecturesRIPPERT, Christophe.Operating systems review. 2003, Vol 37, Num 4, pp 8-18, issn 0163-5980, 11 p.Article

ARTK: a compact real-time kernel for ArduinoSCHIMPF, Paul H.International journal of embedded systems (Print). 2013, Vol 5, Num 1-2, pp 106-113, issn 1741-1068, 8 p.Article

Capability Wrangling Made Easy: Debugging on a Microkernel with ValgrindPOHLE, Aaron; DÖBEL, Björn; ROITZSCH, Michael et al.ACM SIGPLAN notices. 2010, Vol 45, Num 7, pp 3-12, issn 1523-2867, 10 p.Conference Paper

A quantitative analysis of aspects in the eCos kernelLOHMANN, Daniel; SCHELER, Fabian; TARTLER, Reinhard et al.Operating systems review. 2006, Vol 40, Num 4, pp 191-204, issn 0163-5980, 14 p.Conference Paper

Design and implementation of zero-copy data path for efficient file transmissionKANG, Dong-Jae; KIM, Young-Ho; CHA, Gyu-Il et al.Lecture notes in computer science. 2006, pp 350-359, issn 0302-9743, isbn 3-540-39368-4, 1Vol, 10 p.Conference Paper

Information Leakage and Capability Forgery in a Capability-Based Operating System KernelMOSSOP, Dan; POSE, Ronald.Lecture notes in computer science. 2006, pp 517-526, issn 0302-9743, isbn 3-540-48269-5, 10 p.Conference Paper

Mondrix : Memory isolation for linux using Mondriaan Memory ProtectionWITCHEL, Emmett; RHEE, Junghwan; ASANOVIC, Krste et al.Operating systems review. 2005, Vol 39, Num 5, pp 31-44, issn 0163-5980, 14 p.Conference Paper

The real-time operating system of MARSDAMM, A; REISINGER, J; SCHWABL, W et al.Operating systems review. 1989, Vol 23, Num 3, pp 141-157, issn 0163-5980Article

Design Flows and Run Time Systems For Heterogeneous Multiprocessor Systems on Programmable Chips (MPSoPCs)ANDREWS, David.Engineering of reconfigurable systems & algorithms. International conferenceWorldComp'2011. 2011, pp 253-254, isbn 1-60132-177-5, 2 p.Conference Paper

A Normality Based Method for Detecting Kernel RootkitsWAMPLER, Doug; GRAHAM, James H.Operating systems review. 2008, Vol 42, Num 3, pp 59-64, issn 0163-5980, 6 p.Article

Plan 9 Authentication in LinuxGANTI, Ashwin.Operating systems review. 2008, Vol 42, Num 5, pp 27-33, issn 0163-5980, 7 p.Article

30 Seconds is Not Enough! A Study of Operating System Timer UsagePETER, Simon; BAUMANN, Andrew; ROSCOE, Timothy et al.Operating systems review. 2008, Vol 42, Num 4, pp 205-218, issn 0163-5980, 14 p.Conference Paper

Text-to-speech for Slovak languageCAKY, Peter; KLIMO, Martin; MIHALIK, Igor et al.Lecture notes in computer science. 2004, pp 291-298, issn 0302-9743, isbn 3-540-23049-1, 8 p.Conference Paper

The x-Kernel : an architecture for implementing network protocolsHUTCHINSON, H. C; PETERSON, L. L.IEEE transactions on software engineering. 1991, Vol 17, Num 1, pp 64-76, issn 0098-5589, 13 p.Article

The Spring kernel: a new paradigm for real-time operating systemsSTANKOVIC, J. A; KRITHI RAMAMRITHAM.Operating systems review. 1989, Vol 23, Num 3, pp 54-71, issn 0163-5980Article

Designing the Simple Network and Management Protocol for Monitoring of Devices on Data and Communication SystemsLAKSHMAIAH, M. V; KUMAR, P. G. V. Suresh; BASHIR ELZOGHBI, Nasreddin et al.Wireless networks. International conferenceWorldComp'2010. 2010, pp 272-278, isbn 1-60132-150-3 1-60132-164-3 1-60132-165-1, 7 p.Conference Paper